
/*
 *
 *  This file is part of the SIRIUS library for analyzing MS and MS/MS data
 *
 *  Copyright (C) 2013-2020 Kai Dührkop, Markus Fleischauer, Marcus Ludwig, Martin A. Hoffman and Sebastian Böcker,
 *  Chair of Bioinformatics, Friedrich-Schilller University.
 *
 *  This library is free software; you can redistribute it and/or
 *  modify it under the terms of the GNU Lesser General Public
 *  License as published by the Free Software Foundation; either
 *  version 3 of the License, or (at your option) any later version.
 *
 *  This library is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *  Lesser General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License along with SIRIUS. If not, see <https://www.gnu.org/licenses/lgpl-3.0.txt>
 */

package de.unijena.bioinf.fingerid.fingerprints;

import org.openscience.cdk.fingerprint.SubstructureFingerprinter;

/**
 * Created by kaidu on 09.10.14.
 */
public class MarcusPathFingerprinter extends SubstructureFingerprinter {

    final static String[] PATTERNS = new String[]{
            "[#6]~[#6]~[#6]~[#6]~[#16]",
            "[#6]~[#8]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#7]",
            "[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#7]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#16]~[#6]~[#6]",
            "[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#16]~[#6]",
            "[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#16]~[#8]",
            "[#7]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#16]",
            "[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#8]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#7]",
            "[#6]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#7]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#17]",
            "[#6]~[#16]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#9]",
            "[#7]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#16]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#16]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#17]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#8]~[#6]~[#6]~[#8]~[#6]",
            "[#8]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#7]~[#6]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#16]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#7]",
            "[#7]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#6]",
            "[#8]~[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#16]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#7]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#7]~[#6]~[#6]",
            "[#17]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#16]~[#6]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#8]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#16]~[#8]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#16]~[#6]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#16]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#8]~[#6]~[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#8]~[#6]",
            "[#8]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#7]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#17]",
            "[#6]~[#7]~[#6]~[#6]~[#16]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#7]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#7]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#16]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#8]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#7]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#17]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#16]~[#6]~[#6]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#16]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#16]~[#6]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#16]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#7]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]~[#6]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#17]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]",
            "[#8]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~1~[#6]~[#6]~[#6]~[#8]~1",
            "[#6]~[#6]~[#6]~[#7]~[#8]",
            "[#6]~[#6]~[#16]~[#6]~[#7]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#7]~[#7]~[#6]",
            "[#6]~1~[#7]~[#6]~[#6]~[#7]~1",
            "[#6]~[#6]~[#6]~[#6]~[#9]",
            "[#6]~1~[#6]~[#6]~[#7]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#8]~1",
            "[#6]~1~[#6]~[#7]~[#6]~[#7]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#8]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#7]~1~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~[#16]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#16]~[#6]",
            "[#7]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~1~[#7]~[#6]~[#7]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#7]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#7]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#7]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#16]~[#6]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~1~[#6]~[#7]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#7]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#8]~[#6]~1~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#17]",
            "[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~[#6]~1",
            "[#6]~[#6]~1~[#7]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#8]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#7]~1",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#7]",
            "[#6]~[#7]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#7]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#16]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#7]~[#6]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~1~[#6]",
            "[#6]~[#6]~[#7]~1~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#7]~[#6]~1",
            "[#7]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~1~[#6]~[#8]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#8]",
            "[#6]~[#6]~1~[#7]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#7]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#8]",
            "[#6]~[#7]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#16]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#7]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~1~[#6]~[#7]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#7]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#7]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#7]",
            "[#8]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#8]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#7]~1",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#7]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#7]",
            "[#7]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#7]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#7]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#7]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~1~[#8]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#7]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~[#6]~1~[#6]",
            "[#6]~1~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~2~[#6]~1",
            "[#8]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]~[#6]~[#7]~2",
            "[#6]~[#6]~[#6]~1~[#7]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~1~[#7]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#7]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#8]",
            "[#6]~[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#7]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~1~[#6]~2~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#8]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~1~[#6]~[#7]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~2",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#7]~[#6]~[#6]~[#7]",
            "[#6]~[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~1~2",
            "[#8]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~1~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~2",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~2",
            "[#6]~1~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#7]~2",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]~[#6]~[#6]",
            "[#6]~[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]~[#6]~[#6]~[#6]~2",
            "[#6]~[#7]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]~[#6]~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#7]~[#6]~[#6]~1~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~1~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~1",
            "[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]~[#6]~[#6]~2",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#7]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]~[#6]~[#6]~[#6]~2",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~1~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~2~[#8]",
            "[#6]~[#6]~1~[#6]~2~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#7]",
            "[#6]~[#7]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]~[#6]~[#6]~2~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~1~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~2~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#7]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~1~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#7]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]",
            "[#6]~1~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#8]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~2",
            "[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~2~[#6]~[#6]~[#6]~[#6]~2",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~2~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~2",
            "[#6]~[#6]~1~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#7]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~2~[#6]~[#6]~[#6]~[#6]~2",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~1",
            "[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~1~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#8]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#6]~1~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~2~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]~[#6]~[#6]~2",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~2~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~2~[#6]~[#6]~[#6]~[#6]~2~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#7]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~1~[#6]~[#6]~[#6]~2~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]",
            "[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#8]~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#8]",
            "[#6]~1~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~1~[#6]~[#8]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#7]~[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1",
            "[#6]~1~[#6]~[#6]~[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#8]~[#6]~[#8]",
            "[#6]~[#6]~[#6]~1~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~[#6]~[#6]~1~2",
            "[#6]~[#6]~[#6]~1~[#6]~2~[#6]~[#6]~[#6]~[#6]~2~[#6]~[#6]~[#6]~1~[#6]",
            "[#6]~[#6]~[#7]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]",
            "[#6]~[#6]~[#6]~[#6]~[#6]~[#6]~[#8]~[#6]~[#6]~[#6]~[#8]~[#6]",
            "[#6]:[#7]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#7]",
            "[#6]-[#6]-[#7]-[#6]=[#7]",
            "[#7]:[#6]:[#6]:[#6]:[#7]",
            "[#6]-[#6]-[#7]-[#6]-[#7]",
            "[#6]:[#6]-[#6]-[#6]:[#6]",
            "[#6]=[#7]-[#6]-[#6]-[#7]",
            "[#6]:[#6]:[#6]:[#7]:[#6]",
            "[#6]-[#8]-[#6]-[#6]-[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#7]",
            "[#6]:[#6]:[#6]-[#6]-[#6]",
            "[#8]=[#6]-[#6]:[#6]-[#8]",
            "[#6]-[#7]-[#6]=[#7]-[#6]",
            "[#6]-[#8]-[#6]-[#6]:[#6]",
            "[#6]-[#6]-[#7]=[#6]-[#7]",
            "[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]:[#7]:[#6]:[#6]-[#6]",
            "[#8]-[#6]-[#6]:[#6]-[#8]",
            "[#6]-[#6]-[#6]:[#6]:[#7]",
            "[#6]:[#6]:[#6]-[#16]=[#8]",
            "[#6]=[#6]-[#6]-[#8]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#7]",
            "[#6]:[#6]:[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#7]-[#6]=[#8]",
            "[#6]-[#7]-[#6]-[#7]-[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#17]",
            "[#6]-[#6]-[#6]-[#7]=[#6]",
            "[#6]-[#6]-[#6]-[#16]-[#6]",
            "[#6]:[#6]-[#6]=[#6]-[#6]",
            "[#6]-[#6]:[#6]:[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]=[#6]",
            "[#8]-[#6]:[#6]:[#6]-[#8]",
            "[#6]-[#6]-[#7]=[#6]-[#8]",
            "[#6]-[#6]-[#6]:[#6]-[#7]",
            "[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#8]-[#6]:[#6]-[#8]",
            "[#6]-[#6]-[#8]-[#6]=[#8]",
            "[#6]-[#6]=[#6]-[#7]-[#6]",
            "[#6]-[#7]=[#6]-[#6]-[#7]",
            "[#6]-[#7]-[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]-[#6]=[#8]",
            "[#6]:[#6]:[#6]-[#6]=[#7]",
            "[#6]-[#6]:[#6]:[#6]:[#7]",
            "[#6]:[#6]:[#6]-[#6]-[#7]",
            "[#6]=[#7]-[#6]-[#6]=[#8]",
            "[#6]:[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#7]:[#6]:[#6]:[#7]:[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]=[#7]",
            "[#6]-[#6]:[#6]:[#6]:[#6]-[#6]",
            "[#6]-[#6]=[#6]-[#6]-[#6]=[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]=[#6]-[#6]",
            "[#6]:[#6]:[#6]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#17]",
            "[#6]-[#6]-[#6]-[#6]-[#6]=[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#8]-[#6]",
            "[#6]-[#7]-[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]-[#7]=[#6]-[#8]",
            "[#6]-[#6]=[#7]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#8]-[#6]:[#6]-[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#8]-[#6]",
            "[#6]:[#6]-[#6]=[#7]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#7]-[#6]",
            "[#6]:[#6]:[#7]:[#6]:[#7]-[#6]",
            "[#6]-[#6]-[#6]-[#7]=[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]-[#7]=[#6]",
            "[#6]:[#6]-[#6]-[#6]-[#6]-[#7]",
            "[#6]-[#6]-[#6]-[#8]-[#6]-[#6]",
            "[#6]:[#6]:[#7]:[#6]:[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]=[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#6]-[#7]",
            "[#6]-[#7]-[#6]-[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]-[#8]-[#6]-[#6]:[#6]:[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#6]:[#6]",
            "[#6]-[#6]-[#8]-[#6]-[#6]-[#8]",
            "[#6]-[#8]-[#6]-[#6]-[#8]-[#6]",
            "[#6]=[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]:[#6]:[#6]-[#6]-[#6]-[#7]",
            "[#6]:[#6]:[#6]:[#7]:[#6]-[#6]",
            "[#6]-[#6]:[#6]:[#6]:[#6]-[#7]",
            "[#6]-[#8]-[#6]:[#6]-[#8]-[#6]",
            "[#6]:[#6]-[#6]-[#6]=[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#7]",
            "[#6]-[#7]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#8]-[#6]-[#6]:[#6]",
            "[#6]-[#8]-[#6]:[#6]:[#6]-[#8]",
            "[#6]-[#6]-[#7]-[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#7]=[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]-[#6]-[#6]:[#6]",
            "[#6]-[#6]:[#6]:[#6]:[#6]:[#7]",
            "[#6]-[#6]-[#6]:[#6]:[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#8]",
            "[#6]-[#7]-[#6]-[#6]-[#6]-[#6]:[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#7]:[#6]:[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]=[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]=[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#17]",
            "[#6]-[#6]-[#6]:[#6]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#7]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#8]-[#6]-[#8]-[#6]",
            "[#6]-[#7]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#7]:[#6]:[#6]",
            "[#6]:[#6]:[#6]-[#6]=[#7]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]:[#7]",
            "[#6]-[#7]-[#6]-[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]:[#6]:[#6]-[#8]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]=[#6]-[#6]=[#8]",
            "[#8]-[#6]:[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]:[#6]-[#6]",
            "[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#7]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#7]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#16]-[#7]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#7]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]=[#8]",
            "[#6]-[#8]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]:[#6]:[#6]-[#8]",
            "[#6]-[#6]=[#7]-[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#7]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]:[#7]:[#6]",
            "[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]-[#6]",
            "[#6]-[#6]-[#8]-[#6]-[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]-[#6]-[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]=[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#8]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#7]-[#6]-[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#6]-[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#7]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]:[#6]:[#7]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#7]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]-[#8]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#7]:[#6]:[#6]-[#6]",
            "[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#8]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]",
            "[#6]-[#8]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#8]-[#6]:[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]-[#6]-[#8]-[#6]-[#6]-[#6]-[#8]-[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#6]-[#8]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#7]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#8]",
            "[#8]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#7]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#8]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]=[#8]",
            "[#6]:[#6]-[#6]-[#6]-[#7]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#8]-[#6]-[#6]",
            "[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#8]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]=[#6]-[#6]",
            "[#6]=[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#8]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#7]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#7]:[#6]:[#6]:[#6]:[#6]",
            "[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]=[#8]",
            "[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#7]:[#6]:[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]=[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#7]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#7]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#8]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#8]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#7]-[#6]",
            "[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#8]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#8]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]=[#6]-[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]:[#6]:[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#8]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#7]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#8]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#8]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#8]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#7]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]:[#6]-[#7]-[#6]-[#6]",
            "[#6]:1:[#7]:[#6]:[#6]:[#7]:1",
            "[#6]:[#6]-[#6]=[#7]-[#6]",
            "[#6]-[#6]:[#6]:[#6]-[#7]",
            "[#6]-[#6]=[#6]-[#6]-[#8]",
            "[#6]-[#8]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]-[#16]-[#6]",
            "[#6]-[#8]-[#6]:[#6]-[#6]",
            "[#6]:[#6]:[#6]-[#16]-[#7]",
            "[#6]:[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#7]-[#6]-[#6]-[#6]",
            "[#6]:[#6]-[#7]=[#6]-[#8]",
            "[#6]:[#6]:[#7]:[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#7]-[#6]",
            "[#6]-[#6]-[#6]-[#6]=[#7]",
            "[#6]-[#6]=[#7]-[#6]:[#6]",
            "[#6]-[#6]-[#6]=[#6]-[#8]",
            "[#6]:[#6]:[#6]-[#7]=[#6]",
            "[#6]-[#7]:[#6]:[#6]:[#7]",
            "[#6]-[#6]=[#6]-[#6]-[#7]",
            "[#6]:1:[#6]:[#7]:[#6]:[#6]:1",
            "[#6]:[#6]-[#6]-[#6]-[#7]",
            "[#6]=[#6]-[#6]-[#6]:[#6]",
            "[#6]=[#6]-[#6]-[#6]-[#7]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#8]1",
            "[#6]-[#7]1-[#6]-[#6]-[#6]-[#6]1",
            "[#8]=[#6]-[#7]-[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#6]-[#7]-[#6]=[#8]",
            "[#6]-[#6]:1:[#6]:[#6]:[#7]:[#6]:1",
            "[#6]1-[#6]-[#6]-[#6]-[#8]-[#6]1",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#8]",
            "[#6]-[#6]:[#6]:[#6]:[#6]-[#17]",
            "[#6]:[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#7]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#16]",
            "[#6]-[#8]-[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#7]",
            "[#6]-[#8]-[#6]-[#6]-[#6]-[#7]",
            "[#6]-[#6]-[#6]-[#8]-[#6]=[#8]",
            "[#6]-[#6]-[#6]-[#6]=[#7]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]:[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]=[#7]",
            "[#6]-[#6]-[#8]-[#6]-[#6]-[#7]",
            "[#6]:[#6]-[#6]=[#6]-[#6]-[#6]",
            "[#6]=[#6]-[#6]-[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#6]:[#6]:[#7]:[#6]",
            "[#6]:[#6]:[#6]:[#7]:[#6]:[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#7]:[#6]:1",
            "[#6]-[#6]-[#6]=[#7]-[#6]-[#6]",
            "[#6]:[#6]-[#8]-[#6]-[#6]-[#8]",
            "[#6]:[#6]-[#8]-[#6]-[#6]-[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#17]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]",
            "[#6]1-[#6]-[#6]-[#6]-[#6]=[#6]1-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#8]",
            "[#6]:[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1",
            "[#6]-[#6]-[#8]-[#6]-[#6]:[#6]:[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1:[#7]",
            "[#6]-[#7]1-[#6]-[#6]-[#6]-[#6]-[#6]1",
            "[#6]=[#6]-[#6]-[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]=[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#7]=[#6]",
            "[#6]:[#6]-[#6]-[#6]-[#7]-[#6]-[#6]",
            "[#6]-[#6]-[#8]-[#6]-[#6]-[#8]-[#6]",
            "[#7]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#7]:[#6]",
            "[#6]1-[#6]-[#6]-[#6]=[#6]-[#6]1-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#7]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]=[#7]-[#6]-[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#8]-[#6]",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]",
            "[#8]-[#6]-[#6]-[#8]-[#6]-[#6]-[#8]",
            "[#6]-[#6]:[#6]:[#6]-[#8]-[#6]-[#6]",
            "[#6]:[#6]:[#6]-[#8]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]-[#6]-[#7]-[#6]-[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]:[#6]:[#6]:[#6]:[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#7]-[#6]-[#6]-[#7]",
            "[#6]-[#7]1-[#6]-[#6]-[#7]-[#6]-[#6]1",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#8]",
            "[#8]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#8]1",
            "[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]-[#8]",
            "[#6]:[#6]:[#6]-[#6]-[#6]-[#7]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]=[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#8]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#8]",
            "[#6]-[#7]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]",
            "[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#7]",
            "[#6]:[#6]:[#6]:[#7]:[#6]:[#6]-[#6]-[#6]",
            "[#6]-[#7]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]:[#6]:[#6]:[#6]-[#8]-[#6]",
            "[#6]:[#6]:[#6]:[#6]-[#6]=[#7]-[#6]-[#6]",
            "[#6]-[#7]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1",
            "[#6]-[#6]-[#7]1-[#6]-[#6]-[#6]-[#6]-[#6]1",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]",
            "[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#16]=[#8]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]=[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#7]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]=[#7]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#8]",
            "[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:1:[#7]:[#6]:[#6]:[#6]:1",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#7]=[#6]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1=[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]-[#6]=[#6]-[#6]-[#6]",
            "[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]=[#6]1-[#6]",
            "[#6]:[#6]-[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#7]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#7]-[#6]-[#6]-[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1:[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#8]",
            "[#6]=[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#7]-[#6]-[#6]",
            "[#8]-[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#8]",
            "[#6]=[#6]-[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1",
            "[#6]:[#6]:[#6]:[#6]:1:[#6]:[#7]:[#6]:[#6]:1-[#6]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]=[#7]-[#6]",
            "[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]-[#8]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]",
            "[#6]-[#8]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1=[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#8]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]",
            "[#6]:[#6]:[#6]-[#6]-[#6]-[#7]-[#6]-[#6]-[#6]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#7]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]:[#7]:[#6]:[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]",
            "[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]=[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#7]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]",
            "[#6]1-[#6]-[#6]2-[#6]-[#6]-[#6]-[#6]2-[#6]-[#6]1-[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#8]",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#7]-[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1",
            "[#6]12-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]2-[#8]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]-[#6]-[#6]=[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]-[#7]-[#6]-[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]",
            "[#6]-[#7]-[#6]-[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]",
            "[#6]1-[#6]-[#6]-[#6]2-[#6]-[#6]-[#6]-[#6]2-[#6]1-[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]-[#6]-[#6]-[#7]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#8]-[#6]-[#6]-[#8]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1=[#6]-[#6]-[#6]",
            "[#6]-[#6]12-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]2",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#8]-[#6]-[#6]-[#6]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]-[#6]-[#8]-[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1",
            "[#6]1-[#6]-[#6]-[#6]-[#6]2-[#6]1-[#6]-[#6]-[#6]-[#6]2",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]2-[#6]1-[#6]-[#6]-[#6]2",
            "[#6]-[#6]1-[#6]-[#6]2-[#6]-[#6]-[#6]-[#6]-[#6]2-[#6]-[#6]1",
            "[#6]:[#6]:[#6]:[#6]-[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]2-[#6]-[#6]-[#6]-[#6]-[#6]12",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]=[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]:[#6]:[#6]:[#6]:[#6]",
            "[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1",
            "[#6]1-[#6]2-[#6]-[#6]-[#6]-[#6]-[#6]2-[#6]-[#6]-[#6]1=[#6]",
            "[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]",
            "[#6]-[#6]12-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]2-[#6]",
            "[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]",
            "[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]",
            "[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]=[#8]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]=[#6]",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]-[#6]-[#7]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]=[#8]",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1",
            "[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]2-[#6]-[#6]-[#6]-[#6]-[#6]12",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]=[#6]",
            "[#6]-[#6]-[#6]1-[#6]2-[#6]-[#6]-[#6]-[#6]2-[#6]-[#6]-[#6]1-[#6]",
            "[#6]-[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#8]-[#6]=[#8]",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]2-[#6]-[#6]-[#6]-[#6]-[#6]2-[#6]1-[#6]",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]2-[#6]-[#6]-[#6]-[#6]2-[#6]1-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1",
            "[#6]-[#6]-[#6]=[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#8]",
            "[#6]:[#6]:[#6]:[#6]:[#6]-[#6]-[#6]:1:[#6]:[#6]:[#6]:[#6]:[#6]:1",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1",
            "[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]",
            "[#6]-[#6]=[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]-[#6]",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]2-[#6]-[#6]-[#6]-[#6]-[#6]2-[#6]1",
            "[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]2-[#6]-[#6]-[#6]-[#6]-[#6]2",
            "[#6]=[#6]-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]-[#6]1-[#6]",
            "[#6]-[#6]-[#6]1-[#6]-[#6]-[#6]2-[#6]-[#6]-[#6]-[#6]-[#6]12-[#6]",
            "[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]-[#6]=[#6]-[#6]"
    };

    public MarcusPathFingerprinter() {
        super(PATTERNS);
    }
}
